Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...) to determine the congruence of the tense Nelson algebras and also to characterize the subdirectly irreducible tense Nelson algebras and particularly the simple tense Nelson algebras. Finally, we prove that there exists an equivalence between the category of IKt-algebras and the category of tense centered Nelson algebras. (shrink)

Volume 46, Issue 6, November 2020, Page 727-743.

Ventricular Fibrillation is responsible for a majority of sudden cardiac death, but little is known about how ventricular tachycardia (VT) degenerates into ventricular fibrillation. Several clinical studies focused only on preventing VT with a class III antiarrhythmic drug resulted in many deaths. Our simulations investigate the interactions between an antiarrhythmic drug likely to suppress a VT and a Figure 8 reentry. A parameter AAR is introduced to increase the action potential duration and therefore simulate various Class III drugs. Simulations are (...) ran under several conditions (phases of the reentry, values of AAR, durations). They show that a VT can be suppressed whatever the phase of the reentry but it strongly depends on the duration of the effect. It confirms that a drug which can suppress a reentry can also worsen it. It also shows a great variety of activation patterns and thus the complexity of antiarrhythmic drugs effects. Simulations also demonstrate that suppressing VT is an increasing function of AAR. (shrink)

This chapter contains sections titled: References and Further Reading.

Les thèses, proposées par M. Krämer, dans son ouvrage Arete bei Platon und Aristoteles, marqueraient une révolution dans les études platoniciennes, si elles étaient acceptables. Selon lui, Platon a, dès le commencement de sa carrière philosophique, au moins dès l'ouverture de l'Académie, possédé un système élaboré d'ontologie. Ce système a été exposé aux membres de l'Académie, sous forme d'une doctrine ésotêrique. Les dialogues, qui sont entièrement des œuvres protreptiques, ne comportent que des allusions à cette doctrine; tout de même, sans (...) connaître ce fonds doctrinal, on ne peut vraiment comprendre les dialogues. Sans vouloir dresser un compte-rendu complet du livre en question, l'auteur du présent article voulait écrire quelques notes marginales. Ni le récit d'Aristoxène, ni les données plus tardives n'autorisent M. Kr. à déclarer que la fameuse conférence πεϱ τἀγαϑοῦ ait constitué une série de cours. En outre, le récit même n'est pas exempt d'invraisemblance, si l'on compare les fragments des poètes de la comédie moyenne. La dépréciation de l'œuvre écrite que contient la fin du Phèdre n'est pas absolue, comme le croît M. Krämer, mais relative. Dans la vue de M. Kr., il est difficile de comprendre pourquoi Platon a écrit. Surtout la composition des Lois est inexplicable. Dans la théorie d'un système ésotérique, l'héritage de Socrate ne reste plus reconnaissable. Si, comme dans les théories de M. Krämer, l'axiologie se confond avec l'ontologie, l'autonomie de la décision éthique disparaît, et la position priviligiée du Bien ne peut plus être comprise. Le refus de tout développement chez Platon contraint M. Krämer à donner des interprétations très forcées de plusieurs textes platoniciens. (shrink)